The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connected iff they differ in exactly one variable. In 2006, Gopalan et al. studied connectivity properties of the solution graph and related complexity issues for CSPs, motivated mainly by research on satisfiability algorithms and the satisfiability threshold. They proved dichotomies for the diameter of connected components and for the complexity of the st-connectivity question, and conjectured a trichotomy for the connectivity question. Recently, we were able to establish the trichotomy [arXiv:1312.4524]. Here, we consider connectivity issues of satisfiability problems defined by Boolean circuits and propositional formulas that use gates, resp. connectives, from a fixed set of Boolean functions. We obtain dichotomies for the diameter and the two connectivity problems: on one side, the diameter is linear in the number of variables, and both problems are in P, while on the other side, the diameter can be exponential, and the problems are PSPACE-complete. For partially quantified formulas, we show an analogous dichotomy.Comment: 20 pages, several improvement

The Connectivity of Boolean Satisfiability: No-Constants and Quantified Variants

For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connected iff they differ in exactly one variable. Motivated by research on heuristics and the satisfiability threshold, Gopalan et al. in 2006 studied connectivity properties of the solution graph and related complexity issues for constraint satisfaction problems in Schaefer's framework. They found dichotomies for the diameter of connected components and for the complexity of the st-connectivity question, and conjectured a trichotomy for the connectivity question that we recently were able to prove. While Gopalan et al. considered CNF(S)-formulas with constants, we here look at two important variants: CNF(S)-formulas without constants, and partially quantified formulas. For the diameter and the st-connectivity question, we prove dichotomies analogous to those of Gopalan et al. in these settings. While we cannot give a complete classification for the connectivity problem yet, we identify fragments where it is in P, where it is coNP-complete, and where it is PSPACE-complete, in analogy to Gopalan et al.'s trichotomy.Comment: superseded by chapter 3 of arXiv:1510.0670

Connectivity of Boolean Satisfiability

For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connected iff they differ in exactly one variable. For this implicitly defined graph, we here study the st-connectivity and connectivity problems. Building on the work of Gopalan et al. ("The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies", 2006/2009), we first investigate satisfiability problems given by CSPs, more exactly CNF(S)-formulas with constants (as considered in Schaefer's famous 1978 dichotomy theorem); we prove a computational dichotomy for the st-connectivity problem, asserting that it is either solvable in polynomial time or PSPACE-complete, and an aligned structural dichotomy, asserting that the maximal diameter of connected components is either linear in the number of variables, or can be exponential; further, we show a trichotomy for the connectivity problem, asserting that it is either in P, coNP-complete, or PSPACE-complete. Next we investigate two important variants: CNF(S)-formulas without constants, and partially quantified formulas; in both cases, we prove analogous dichotomies for st-connectivity and the diameter; for for the connectivity problem, we show a trichotomy in the case of quantified formulas, while in the case of formulas without constants, we identify fragments of a possible trichotomy. Finally, we consider the connectivity issues for B-formulas, which are arbitrarily nested formulas built from some fixed set B of connectives, and for B-circuits, which are Boolean circuits where the gates are from some finite set B; we prove a common dichotomy for both connectivity problems and the diameter; for partially quantified B-formulas, we show an analogous dichotomy.Comment: PhD thesis, 82 pages, contains all results from the previous papers arXiv:1312.4524, arXiv:1312.6679, and arXiv:1403.6165, plus additional findings. arXiv admin note: text overlap with arXiv:cs/0609072 by other author

Epidemiology, practice of ventilation and outcome for patients at increased risk of postoperative pulmonary complications

BACKGROUND Limited information exists about the epidemiology and outcome of surgical patients at increased risk of postoperative pulmonary complications (PPCs), and how intraoperative ventilation was managed in these patients. OBJECTIVES To determine the incidence of surgical patients at increased risk of PPCs, and to compare the intraoperative ventilation management and postoperative outcomes with patients at low risk of PPCs. DESIGN This was a prospective international 1-week observational study using the ‘Assess Respiratory Risk in Surgical Patients in Catalonia risk score’ (ARISCAT score) for PPC for risk stratification. PATIENTS AND SETTING Adult patients requiring intraoperative ventilation during general anaesthesia for surgery in 146 hospitals across 29 countries. MAIN OUTCOME MEASURES The primary outcome was the incidence of patients at increased risk of PPCs based on the ARISCAT score. Secondary outcomes included intraoperative ventilatory management and clinical outcomes. RESULTS A total of 9864 patients fulfilled the inclusion criteria. The incidence of patients at increased risk was 28.4%. The most frequently chosen tidal volume (VT) size was 500 ml, or 7 to 9 ml kg1 predicted body weight, slightly lower in patients at increased risk of PPCs. Levels of positive end-expiratory pressure (PEEP) were slightly higher in patients at increased risk of PPCs, with 14.3% receiving more than 5 cmH2O PEEP compared with 7.6% in patients at low risk of PPCs (P < 0.001). Patients with a predicted preoperative increased risk of PPCs developed PPCs more frequently: 19 versus 7%, relative risk (RR) 3.16 (95% confidence interval 2.76 to 3.61), P < 0.001) and had longer hospital stays. The only ventilatory factor associated with the occurrence of PPCs was the peak pressure. CONCLUSION The incidence of patients with a predicted increased risk of PPCs is high. A large proportion of patients receive high VT and low PEEP levels. PPCs occur frequently in patients at increased risk, with worse clinical outcome

Epidemiology, practice of ventilation and outcome for patients at increased risk of postoperative pulmonary complications: LAS VEGAS - An observational study in 29 countries

BACKGROUND Limited information exists about the epidemiology and outcome of surgical patients at increased risk of postoperative pulmonary complications (PPCs), and how intraoperative ventilation was managed in these patients. OBJECTIVES To determine the incidence of surgical patients at increased risk of PPCs, and to compare the intraoperative ventilation management and postoperative outcomes with patients at low risk of PPCs. DESIGN This was a prospective international 1-week observational study using the ‘Assess Respiratory Risk in Surgical Patients in Catalonia risk score’ (ARISCAT score) for PPC for risk stratification. PATIENTS AND SETTING Adult patients requiring intraoperative ventilation during general anaesthesia for surgery in 146 hospitals across 29 countries. MAIN OUTCOME MEASURES The primary outcome was the incidence of patients at increased risk of PPCs based on the ARISCAT score. Secondary outcomes included intraoperative ventilatory management and clinical outcomes. RESULTS A total of 9864 patients fulfilled the inclusion criteria. The incidence of patients at increased risk was 28.4%. The most frequently chosen tidal volume (V T) size was 500 ml, or 7 to 9 ml kg−1 predicted body weight, slightly lower in patients at increased risk of PPCs. Levels of positive end-expiratory pressure (PEEP) were slightly higher in patients at increased risk of PPCs, with 14.3% receiving more than 5 cmH2O PEEP compared with 7.6% in patients at low risk of PPCs (P ˂ 0.001). Patients with a predicted preoperative increased risk of PPCs developed PPCs more frequently: 19 versus 7%, relative risk (RR) 3.16 (95% confidence interval 2.76 to 3.61), P ˂ 0.001) and had longer hospital stays. The only ventilatory factor associated with the occurrence of PPCs was the peak pressure. CONCLUSION The incidence of patients with a predicted increased risk of PPCs is high. A large proportion of patients receive high V T and low PEEP levels. PPCs occur frequently in patients at increased risk, with worse clinical outcome.</p

Sex difference and intra-operative tidal volume: Insights from the LAS VEGAS study

BACKGROUND: One key element of lung-protective ventilation is the use of a low tidal volume (VT). A sex difference in use of low tidal volume ventilation (LTVV) has been described in critically ill ICU patients.OBJECTIVES: The aim of this study was to determine whether a sex difference in use of LTVV also exists in operating room patients, and if present what factors drive this difference.DESIGN, PATIENTS AND SETTING: This is a posthoc analysis of LAS VEGAS, a 1-week worldwide observational study in adults requiring intra-operative ventilation during general anaesthesia for surgery in 146 hospitals in 29 countries.MAIN OUTCOME MEASURES: Women and men were compared with respect to use of LTVV, defined as VT of 8 ml kg-1 or less predicted bodyweight (PBW). A VT was deemed 'default' if the set VT was a round number. A mediation analysis assessed which factors may explain the sex difference in use of LTVV during intra-operative ventilation.RESULTS: This analysis includes 9864 patients, of whom 5425 (55%) were women. A default VT was often set, both in women and men; mode VT was 500 ml. Median [IQR] VT was higher in women than in men (8.6 [7.7 to 9.6] vs. 7.6 [6.8 to 8.4] ml kg-1 PBW, P &lt; 0.001). Compared with men, women were twice as likely not to receive LTVV [68.8 vs. 36.0%; relative risk ratio 2.1 (95% CI 1.9 to 2.1), P &lt; 0.001]. In the mediation analysis, patients' height and actual body weight (ABW) explained 81 and 18% of the sex difference in use of LTVV, respectively; it was not explained by the use of a default VT.CONCLUSION: In this worldwide cohort of patients receiving intra-operative ventilation during general anaesthesia for surgery, women received a higher VT than men during intra-operative ventilation. The risk for a female not to receive LTVV during surgery was double that of males. Height and ABW were the two mediators of the sex difference in use of LTVV.TRIAL REGISTRATION: The study was registered at Clinicaltrials.gov, NCT01601223

The Association of Intraoperative driving pressure with postoperative pulmonary complications in open versus closed abdominal surgery patients - a posthoc propensity score-weighted cohort analysis of the LAS VEGAS study

BackgroundIt is uncertain whether the association of the intraoperative driving pressure (Delta P) with postoperative pulmonary complications (PPCs) depends on the surgical approach during abdominal surgery. Our primary objective was to determine and compare the association of time-weighted average Delta P (Delta P-TW) with PPCs. We also tested the association of Delta P-TW with intraoperative adverse events.MethodsPosthoc retrospective propensity score-weighted cohort analysis of patients undergoing open or closed abdominal surgery in the 'Local ASsessment of Ventilatory management during General Anaesthesia for Surgery' (LAS VEGAS) study, that included patients in 146 hospitals across 29 countries. The primary endpoint was a composite of PPCs. The secondary endpoint was a composite of intraoperative adverse events.ResultsThe analysis included 1128 and 906 patients undergoing open or closed abdominal surgery, respectively. The PPC rate was 5%. Delta P was lower in open abdominal surgery patients, but Delta P-TW was not different between groups. The association of Delta P-TW with PPCs was significant in both groups and had a higher risk ratio in closed compared to open abdominal surgery patients (1.11 [95%CI 1.10 to 1.20], P &lt; 0.001 versus 1.05 [95%CI 1.05 to 1.05], P &lt; 0.001; risk difference 0.05 [95%CI 0.04 to 0.06], P &lt; 0.001). The association of &lt;Delta&gt;P-TW with intraoperative adverse events was also significant in both groups but had higher odds ratio in closed compared to open abdominal surgery patients (1.13 [95%CI 1.12- to 1.14], P &lt; 0.001 versus 1.07 [95%CI 1.05 to 1.10], P &lt; 0.001; risk difference 0.05 [95%CI 0.030.07], P &lt; 0.001).Conclusions&lt;Delta&gt;P is associated with PPC and intraoperative adverse events in abdominal surgery, both in open and closed abdominal surgery.Trial registrationLAS VEGAS was registered at clinicaltrials.gov (trial identifier NCT01601223)

Intraoperative ventilator settings and their association with postoperative pulmonary complications in neurosurgical patients: Post-hoc analysis of LAS VEGAS study

Background: Limited information is available regarding intraoperative ventilator settings and the incidence of postoperative pulmonary complications (PPCs) in patients undergoing neurosurgical procedures. The aim of this post-hoc analysis of the 'Multicentre Local ASsessment of VEntilatory management during General Anaesthesia for Surgery' (LAS VEGAS) study was to examine the ventilator settings of patients undergoing neurosurgical procedures, and to explore the association between perioperative variables and the development of PPCs in neurosurgical patients. Methods: Post-hoc analysis of LAS VEGAS study, restricted to patients undergoing neurosurgery. Patients were stratified into groups based on the type of surgery (brain and spine), the occurrence of PPCs and the assess respiratory risk in surgical patients in Catalonia (ARISCAT) score risk for PPCs. Results: Seven hundred eighty-four patients were included in the analysis; 408 patients (52%) underwent spine surgery and 376 patients (48%) brain surgery. Median tidal volume (VT) was 8 ml [Interquartile Range, IQR = 7.3-9] per predicted body weight; median positive end-expiratory pressure (PEEP) was 5 [3 to 5] cmH20. Planned recruitment manoeuvres were used in the 6.9% of patients. No differences in ventilator settings were found among the sub-groups. PPCs occurred in 81 patients (10.3%). Duration of anaesthesia (odds ratio, 1.295 [95% confidence interval 1.067 to 1.572]; p = 0.009) and higher age for the brain group (odds ratio, 0.000 [0.000 to 0.189]; p = 0.031), but not intraoperative ventilator settings were independently associated with development of PPCs. Conclusions: Neurosurgical patients are ventilated with low VT and low PEEP, while recruitment manoeuvres are seldom applied. Intraoperative ventilator settings are not associated with PPCs